火炮射表数据处理计算步骤和程序框图

本文是文献［１—３］的继续,主要研究火炮射表数据处理算法的计算步骤和程序设计框图。这两个内容是正确进行程序设计、分析和使用的重要环节。     

静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。     

静磁场Dirichlet问题Galerkin法和牛顿法

作者在［１］,［２］中给出了静磁场Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题广义解的存在与唯一性。本文从理论上给出静磁场Ｄｉｒｉｃｈｌｅｔ问题的一种Ｇａｌｅｒｋｉｎ近似解法,并给出了在各向同性或无电流区情形下的误差估计和牛顿选代序列。     

载人飞船标准返回轨道设计

本文研究载人飞船三自由度标准返回轨道的设计方法。基本的设计思想是在返回坐标系中建立飞船返回轨道运动方程,用非等值的速度滚动角γｖ（ｔ）使飞船再入过载均匀化及减小标准返回轨道与升力失控时自旋轨道的航程差,并引入侧向制导思想解决γｖ（ｔ）的反向问题。仿真中用二重迭代方法确定有关参数,避免了参数选择的盲目性。仿真计算表明,本文提出的设计思想具有良好的实用价值。     

新型八毫米电扫描跟踪天线

本文研究了一种小功率毫米波电扫天线的新技术。它用开关置于上、下两层双加脊波导组成的馈源中的四个二极管实现波束的快速电子扫描。文中讨论了研制技术难点与解决方法。实验所得各项指标均较满意。此技术也可方便地推广应用到其它微波频段。     

多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．     

三分量磁传感器非理想放置时磁场数据的分析方法

用欧拉角和矩阵变换方法导出了三分量磁传感器坐标系ｏ—ｘｙｚ与地磁坐标系Ｏ－ＸＹＺ有任意旋转关系时的磁场转换公式。用此公式分析了消磁系统中电子型消磁电流调整器的三分量磁传感器非理想放置时,对舰船消磁系统控制信号的影响,认为该影响在抗干扰调整过程中应引起足够的重视。     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。